/*XXX bogus kludge */
